Step To Convert Pl To Cnf